6 results
A CLP heap solver for test case generation
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 721-735
-
- Article
- Export citation
Redundant Sudoku rules
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 3 / May 2014
- Published online by Cambridge University Press:
- 30 October 2012, pp. 363-377
-
- Article
- Export citation
Introduction to the special issue on Prolog systems
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 1-2 / January 2012
- Published online by Cambridge University Press:
- 12 September 2011, pp. 1-4
-
- Article
- Export citation
Introduction to the 24th international conference on logic programming special issue
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 2-3 / March 2011
- Published online by Cambridge University Press:
- 22 February 2011, pp. 131-133
-
- Article
- Export citation
Improving PARMA trailing
-
- Journal:
- Theory and Practice of Logic Programming / Volume 6 / Issue 6 / November 2006
- Published online by Cambridge University Press:
- 16 October 2006, pp. 609-644
-
- Article
- Export citation
Optimizing compilation of constraint handling rules in HAL
-
- Journal:
- Theory and Practice of Logic Programming / Volume 5 / Issue 4-5 / July 2005
- Published online by Cambridge University Press:
- 01 July 2005, pp. 503-531
-
- Article
- Export citation